xen/domain: Call pci_release_devices() when releasing domain resources
authorOleksandr Tyshchenko <oleksandr_tyshchenko@epam.com>
Fri, 8 Oct 2021 05:55:30 +0000 (08:55 +0300)
committerStefano Stabellini <stefano.stabellini@xilinx.com>
Fri, 8 Oct 2021 22:50:55 +0000 (15:50 -0700)
commitd4c9845e52cbb3cd62172809f62ee51dbb3ca7de
treed3295321d84fcd652db329820af157626c389617
parente17abb28e80043346752f1e2b59ed34806c2144d
xen/domain: Call pci_release_devices() when releasing domain resources

This is the very same that we already do for DT devices. Moreover, x86
already calls pci_release_devices().

Signed-off-by: Oleksandr Tyshchenko <oleksandr_tyshchenko@epam.com>
Signed-off-by: Oleksandr Andrushchenko <oleksandr_andrushchenko@epam.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Reviewed-by: Rahul Singh <rahul.singh@arm.com>
Tested-by: Rahul Singh <rahul.singh@arm.com>
xen/arch/arm/domain.c